digraph A2 {
	q1->q2 [LABEL="a"]
	q2->q3 [LABEL="b"]
	q1->q3 [LABEL="a"]
	q3->q1 [LABEL="b"]
	q1->q1 [LABEL="b"]
	[initial={q1}]
	[final={q1,q2}]
}
	
